{ name: BoundedAsyncBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 232, numSchedules: 10000, numBuggy: 613, percBuggy: 6, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: 21, timeToFirstBug: 1.0482428, time: 546.8815017, softTimeLimit: 600 }
{ name: TwoPhaseCommitBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 37, numSchedules: 10000, numBuggy: 306, percBuggy: 3, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: 91, timeToFirstBug: 0.8395899, time: 87.1395282, softTimeLimit: 600 }
{ name: GermanBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 100001, numSchedules: 10000, numBuggy: 2288, percBuggy: 22, numDeadlocks: 0, numHitDepthBound: 1343, numSchedulesToFirstBug: 1, timeToFirstBug: 0.1763863, time: 272.4635882, softTimeLimit: 600 }
{ name: BasicPaxosBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 92, numSchedules: 10000, numBuggy: 8359, percBuggy: 83, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: 1, timeToFirstBug: 0.057291, time: 315.9536026, softTimeLimit: 600 }
{ name: MultiPaxosBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 28, numSchedules: 64, numBuggy: 53, percBuggy: 82, numDeadlocks: 21, numHitDepthBound: 30, numSchedulesToFirstBug: 1, timeToFirstBug: 0.0529661, time: 609.569675, softTimeLimit: 600 }
{ name: ChainReplicationBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 257, numSchedules: 10000, numBuggy: 10000, percBuggy: 100, numDeadlocks: 5700, numHitDepthBound: 0, numSchedulesToFirstBug: 1, timeToFirstBug: 0.1127273, time: 534.5871014, softTimeLimit: 600 }
{ name: ChordBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 312, numSchedules: 10000, numBuggy: 3563, percBuggy: 35, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: 2, timeToFirstBug: 0.0776024, time: 402.8169785, softTimeLimit: 600 }
{ name: RaftBuggy, scheduler: Random (seed is 743788), scheduleLimit: 10000, completed: False, numSteps: 61322, numSchedules: 288, numBuggy: 5, percBuggy: 1, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: 37, timeToFirstBug: 75.2943089, time: 600.8739485, softTimeLimit: 600 }
