{ name: BoundedAsyncBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 198, numSchedules: 10000, numBuggy: 0, percBuggy: 0, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: -1, timeToFirstBug: -1, time: 457.7202778, softTimeLimit: 600 }
{ name: TwoPhaseCommitBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 52, numSchedules: 10000, numBuggy: 0, percBuggy: 0, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: -1, timeToFirstBug: -1, time: 87.0614115, softTimeLimit: 600 }
{ name: GermanBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 28, numSchedules: 10000, numBuggy: 0, percBuggy: 0, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: -1, timeToFirstBug: -1, time: 67.8060705, softTimeLimit: 600 }
{ name: BasicPaxosBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 186, numSchedules: 10000, numBuggy: 0, percBuggy: 0, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: -1, timeToFirstBug: -1, time: 498.6975978, softTimeLimit: 600 }
{ name: MultiPaxosBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 27, numSchedules: 1, numBuggy: 1, percBuggy: 100, numDeadlocks: 1, numHitDepthBound: 0, numSchedulesToFirstBug: 1, timeToFirstBug: 0.0443952, time: 0.0443956, softTimeLimit: 600 }
{ name: ChainReplicationBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 238, numSchedules: 1, numBuggy: 1, percBuggy: 100, numDeadlocks: 1, numHitDepthBound: 0, numSchedulesToFirstBug: 1, timeToFirstBug: 0.1203668, time: 0.1203673, softTimeLimit: 600 }
{ name: ChordBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 222, numSchedules: 1, numBuggy: 1, percBuggy: 100, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: 1, timeToFirstBug: 0.0609623, time: 0.0609623, softTimeLimit: 600 }
{ name: RaftBuggy, scheduler: DFS seed=0, scheduleLimit: 10000, completed: False, numSteps: 61197, numSchedules: 446, numBuggy: 0, percBuggy: 0, numDeadlocks: 0, numHitDepthBound: 0, numSchedulesToFirstBug: -1, timeToFirstBug: -1, time: 600.2921888, softTimeLimit: 600 }
